Under consideration for publication in Formal Aspects of Computing Generic Composition
نویسنده
چکیده
This paper presents a technique called generic composition to provide a uniform basis for modal operators, sequential composition, different kinds of parallel compositions and various healthiness conditions appearing in a variety of semantic theories. The weak inverse of generic composition is defined. A completeness theorem shows that any predicate can be written in terms of generic composition and its weak inverse. A number of algebraic laws that support reasoning are derived.
منابع مشابه
An Analysis of English and Persian Academic Written Discourses in Human Sciences: An Evolutionary Account
The present paper focused on the sociocultural explanations of rhetorical differences between English and Persian and was based on the contrastive genre analysis of Applied Linguistics research article abstracts in these two languages. The evolutionary nature of research article abstracts was also investigated from 1985 to 2005, in three stages, with a time interval of 10 years. Seventy eight r...
متن کاملUnder consideration for publication in Formal Aspects of Computing Foundations for Monitoring and Checking Reactive Systems
A run-time monitoring technique has become a promising methodology for higher system assurance by validating a current execution trace with regard to a given requirement specification. To formalize and understand the computational nature of run-time monitoring is a key to utilize this valuable technique. In this paper, we formalize the notion of run-time monitoring of reactive systems in terms ...
متن کاملThematization Strategies in the Generic Moves of Research Article Introductions
Despite the heterogeneity of ideas regarding the definitions of genre, there are also common instances shared among scholars interested in particular aspects of the notion. Swales (1990) and Bhatia (1993) are primarily interested in the sociological and psychological aspects of genre's functioning and construction, respectively.. Swales analyzes the genre of 'article introduction', into four ge...
متن کاملUnder consideration for publication in Formal Aspects of Computing Assumption Propagation through Annotated Programs
In the correct-by-construction programming methodology, programs are incrementally derived from their formal specifications, by repeatedly applying transformations to partially derived programs. At an intermediate stage in a derivation, users may have to make certain assumptions to proceed further. To ensure that the assumptions hold true at that point in the program, certain other assumptions ...
متن کاملUnder consideration for publication in Formal Aspects of Computing Physigrams: Modelling Devices for Natural Interaction
This paper explores the formal specification of the physical behaviour of devices “unplugged” from their digital effects. By doing this we seek to better understand the nature of physical interaction and the way this can be exploited to improve the design of hybrid devices with both physical and digital features. We use modified state transition networks of the physical behaviour, which we call...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002